A Mathematical Formalization Proposal for Business Growth
نویسندگان
چکیده
منابع مشابه
Formalization and Parsing of Mathematical Expressions for Mathematical Computatio
Mathematical expression parsing is very important particularly for the human interface of numeric and algebraic computation systems. In this paper, we define a formalization method and a denotational meaning representation of mathematical expressions. We create grammars and their parser to translate the formalized mathematical expressions into their meaning representation. We also develop a met...
متن کاملA mathematical formalization of data parallel operations
We give a mathematical formalization of ‘generalized data parallel’ operations, a concept that covers such common scientific kernels as matrix-vector multiplication, multi-grid coarsening, load distribution, and many more. We show that from a compact specification such computational aspects as MPI messages or task dependencies can be automatically derived.
متن کاملA Mathematical Formalization of Fuzzy Trace Theory
In this paper, we develop a novel formalization of Fuzzy Trace Theory (FTT), a leading theory of qualitative risky decision-making. Our model is the first to explicitly formalize and integrate the concepts of gist and the gist hierarchy. Domain knowledge constrains the space of possible decision problems, explaining which gists are chosen in which contexts. We test our model against risky-choic...
متن کاملFormalization of Visual Mathematical Notations
This paper discusses picture logic, a visual language for the specification of diagrams and diagram transformations. Formal specification techniques for diagrammatic or visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visu...
متن کاملA Proposal for Specifying Business Components
Component-based software development is a potential reuse paradigm for the future. While the required technologies for a component-style system development are widely available, for instance Sun’s Enterprise Java Beans, a problem inhibits the breakthrough of the component paradigm in business application domains: compared to traditional engineering disciplines there is a lack of standardized me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatica Economica
سال: 2013
ISSN: 1453-1305,1842-8088
DOI: 10.12948/issn14531305/17.1.2013.07